×

找到194份文件（结果1-100）

最新的 引文 关联
安吉洛·费兰多;拉斐尔·卡多佐（Rafael C.Cardoso）。;玛丽·法雷尔;马特·勒克库克;法比奥·帕帕奇尼;迈克尔·费希尔;维维亚娜·马斯卡迪

弥合单模型和多模型预测运行时验证之间的差距。 （英语） Zbl 1522.68315号

形式方法系统。设计。 59，编号1-3，44-76（2021）.
MSC公司：60年第68季度 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrando}等人，《形式方法系统》。设计。59，编号1--3，44-76（2021；Zbl 1522.68315）
全文： 内政部
G.库尔蒂斯。;狄克逊，C。;M·费希尔。;利西萨，A。

通过一阶时间逻辑对领导者/追随者系统进行参数化验证。 （英语） Zbl 1492.68087号

形式方法系统。设计。 58，第3号，440-468（2021）; 更正同上，第60号，第325-326（2022）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Kourtis}等人，《形式方法系统》。设计。58，第3号，440-468（2021；Zbl 1492.68087）
全文： 内政部
罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;维达德·哈季奇;埃格利，乌韦;弗洛里安·朗辛;马蒂娜·塞德尔

两个SAT解算器，用于求解具有任意数量量词交替的量化布尔公式。 （英语） Zbl 1522.68715号

形式方法系统。设计。 57，第2号，157-177（2021）.
MSC公司：68伏15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，《形式方法系统》。设计。57，第2号，157--177（2021；Zbl 1522.68715）
全文： 内政部
塞萨尔·桑切斯;Gerardo Schneider公司;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯

高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） Zbl 1425.68268号

形式方法系统。设计。 54，第3号，279-335（2019）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268）
全文： 内政部 arXiv公司
卡列夫·阿尔佩纳斯;熊猫，Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;沙龙·肖姆;纱线维纳

状态网络验证的一些复杂性结果。 （英语） Zbl 1425.68248号

形式方法系统。设计。 54，编号2191-231（2019）.
MSC公司：60年第68季度 68米10 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Alpernas}等人，《形式方法系统》。设计。54，第2号，191--231（2019；Zbl 1425.68248）
全文： 内政部 arXiv公司
沃尔夫冈·阿伦特;杰苏斯·莫里西奥·奇曼托;戈登·佩斯。;杰拉尔多·施奈德

结合静态和运行时验证验证面向数据和控制的属性：理论和工具。 （英语） Zbl 1370.68195号

形式方法系统。设计。 51，第1期，200-265（2017）.
MSC公司：60年第68季度 第68页第19页 68号30
PDF格式BibTeX公司 XML格式引用
\textit{W.Ahrendt}等人，《形式方法系统》。设计。51，No.1，200--265（2017；Zbl 1370.68195）
全文： 内政部
斯里尼瓦斯·皮尼塞蒂;普洛塔萨，维奥雷尔;斯塔夫罗斯·特里帕基斯;蒂埃里·杰伦;伊利耶斯·法尔科内;埃尔文·马尔坎德

预测运行时强制。 （英语） Zbl 1370.68207号

形式方法系统。设计。 51，第1期，154-199（2017）.
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Pinisetty}等人，《形式方法系统》。设计。51，第1号，154--199（2017；Zbl 1370.68207）
全文： 内政部 哈尔
安托万杜兰·加塞林;哈维尔·埃斯帕尔扎;皮埃尔·甘蒂;鲁帕克·马朱姆达尔

模型检查参数化异步共享内存系统。 （英语） Zbl 1360.68584号

形式方法系统。设计。 50，编号2-3，140-167（2017）.
MSC公司：60年第68季度 65年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Durand Gasselin｝等人，《表格方法系统》。设计。50，编号2--3，140-167（2017；Zbl 1360.68584）
全文： 内政部 arXiv公司
罗曼·德曼根;本田、高黑;胡雷蒙德;鲁米亚纳内科娃;吉田、Nobuko

实用的可中断对话：使用多方会话类型和Python进行分布式动态验证。 （英语） Zbl 1341.68118号

形式方法系统。设计。 46，第3期，197-225（2015）.
MSC公司：60年第68季度 68甲15 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Demangeon}等人，《形式方法系统》。设计。46，第3号，197--225（2015；Zbl 1341.68118）
全文： 内政部
斯里尼瓦斯·皮尼塞蒂;伊利耶斯·法尔科内;蒂埃里·杰伦;埃尔文·马尔坎德;安托万·罗莱;奥马尔·恩格纳·蒂莫

已重新访问定时属性的运行时强制。 （英语） Zbl 1314.68102号

形式方法系统。设计。 45，第3期，381-422（2014）.
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Pinisetty}等人，《形式方法系统》。设计。45，第3号，381--422（2014；Zbl 1314.68102）
全文： 内政部 哈尔

筛选结果依据…

全部的 前5名

作者

全部的 前5名

音量

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件